folk theorems

无名氏定理